منابع مشابه
How to decide what to do?
There are many conceptualizations and formalizations of decision making. In this paper we compare classical decision theory with qualitative decision theory, knowledge-based systems and belief-desire-intention models developed in artificial intelligence and agent theory. They all contain representations of information and motivation. Examples of informational attitudes are probability distribut...
متن کاملWhat can you decide about resetable arrays?
We investigate the decidability of reachability specifications in programs data-independent in two types X and Y , and which can contain arrays X 7→ Y . We show that this type of specification is undecidable in general for programs that may contain a Reset operation for setting all members of an array to a member of Y . However, if either X or Y is of fixed finite size (and not necessarily data...
متن کاملBone allografts: What they can offer and what they cannot.
Bone allografts can be used in any kind of surgery involving bone from minor defects to major bone loss after tumour resection. This review describes the various types of bone grafts and the current knowledge on bone allografts, from procurement and preparation to implantation. The surgical conditions for optimising the incorporation of bone are outlined, and surgeon expectations from a bone al...
متن کاملEnterprise Knowledge Portals: What They Are and What They Do
The Enterprise is a continuous, dynamic “swirl” of problem-solving knowledgerelated Interactions from which knowledge is produced and integrated with the business processes of the enterprise. For a given problem generated by a business process, it is useful to abstract from the swirl and to conceptualize an iteration of a knowledge life cycle encompassing knowledge processes targeted on solving...
متن کاملDendritic Spines: What Are They? What Are They For?
machinery is also identified in spines, within specialized subdomains (88, 102). In addition, polyribosomes and protein translational machinery are often anchored at the base of spines (80). Thus increasing evidence suggests that individual spines represent partially autonomous compartments, having their own regulated membrane-trafficking events that shuttle components into and out of the spine...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The American Law Register (1852-1891)
سال: 1873
ISSN: 1558-3813
DOI: 10.2307/3303227